The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel
نویسندگان
چکیده
Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such as assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. This observation convinced ISE to build a new product, the Contract Wizard, which aims at providing .NET developers with the ability to add contracts to a .NET assembly independently from the .NET language it was initially written in. This paper first gives an overview of the existing implementation of Design by Contract in various programming languages. It then explains how the new ISE Contract Wizard works by providing a guided tour of the product.
منابع مشابه
Skala University of West Bohemia
The use of various forms of contracts, like preconditions, are increasingly receiving more attention within Microsoft. This talk describes the design of Spec#, an experimental superset of the language C#, including preand postconditions and object invariants. Spec# gives rise to dynamic checks of contracts. The contracts can also be checked statically using the automatic checker Boogie. The tal...
متن کاملAre Practitioners Writing Contracts?
For decades now, modular design methodologies have helped software engineers cope with the size and complexity of modern-day industrial applications. To be truly effective though, it is essential that module interfaces be rigorously specified. Design by Contract (DBC) is an increasingly popular method of interface specification for object-oriented systems. Many researchers are actively adding s...
متن کاملEiffel for .NET Binding for db4o
Db4o is an already established OODBMS solution for Java and .NET, providing a powerful and easy-to-use solution for object persistence. It is therefore desirable to make it accessible to programmers that use Eiffel, a well-known, pure object-oriented programming language offering features like design by contract, multiple inheritance, genericity and agents. The effort that this paper describes ...
متن کاملLooking for What Isn’t Officially There
C ommercial relationships and business contracts, which formally express the rights and obligations binding a client and a supplier, provide the inspiration for design by contract software development methodology. Software contracts take the form of routine preconditions (obligations on the caller), postconditions (benefits to the caller), and class invariants (consistency constraints), written...
متن کاملAutomatic Contract Extraction: Developing a CIL Parser PROJECT DESCRIPTION
Although Design by Contract, as supported by Eiffel (see [2] and [7]), has been shown to provide several benefits, it is not widely used yet. The question arises whether there are implicit, so called “closet contracts” hidden in the documentation or code, even if the underlying language and method do not support them explicitly. This has led to the “Closet Contract Conjecture”, described by Kar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001